Buy Used and New Michael G . Hinchey Books

Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)

by Michael G. Hinchey, Stephen A. Jarvis

ISBN 13: 9780077076498

Format: Paperback (181 pages)
Publisher: McGraw-Hill Publishing Co.
Published: 01 Jan 1995

Save for later

Teaching and Learning Formal Methods (Academic Press International Series in Formal Methods)

by C. Neville Dean, Michael G. Hinchey

ISBN 13: 9780123490407

Format: Illustrated (285 pages)
Publisher: Morgan Kaufmann
Published: 06 Sep 1996

Save for later

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers: 2699 (Lecture Notes in Computer Science)

by Diana Gordon-Spears, Christopher Rouff, Walter F. Truszkowski, Michael G. Hinchey, James L. Rash

ISBN 13: 9783540406655

Format: Paperback (296 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Approaches to Agent-Based Systems: First International Workshop, FAABS 2000 Greenbelt, MD, USA, April 5-7, 2000 Revised Papers: 1871 (Lecture Notes in Computer Science)

by Walter Truszkowski, Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Diana Gordon

ISBN 13: 9783540427162

Format: Paperback (384 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers: 3228 (Lecture Notes in Computer Science)

by Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

ISBN 13: 9783540244226

Format: Illustrated (304 pages)
Publisher: Springer
Published: 31 Jan 2005

Save for later